Choices , Frameworks and Re nement
نویسندگان
چکیده
In this paper, we present a method for designing operating systems using object-oriented frameworks. A framework can be re ned into subframeworks. Constraints specify the interactions between the subframeworks. We describe how we used object-oriented frameworks to design Choices, an object-oriented operating system. 1 Frameworks in an Object-Oriented
منابع مشابه
Class Re nement and Interface Re nement in Object-Oriented Programs
Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or re ned in their subclasses. This paper de nes a class re nement relation which captures these semantic constraints. The class re nement relation is...
متن کاملCounterexample-Guided Control
A major hurdle in the algorithmic veri cation and control of systems is the need to nd suitable abstract models, which omit enough details to overcome the state-explosion problem, but retain enough details to exhibit satisfaction or controllability with respect to the speci cation. The paradigm of counterexample-guided abstraction re nement suggests a fully automatic way of nding suitable abstr...
متن کاملRe nement of Vectors of Bernstein Polynomials
For the case of Bernstein polynomials the re nement mask is calculated recursively and the re nement matrices are given explicitely Moreover the eigenvectors of the transposed re nement matrices are constructed whereas the eigenvectors of the re nement matrices themselves can be determined by a theorem of Micchelli and Prautzsch INTRODUCTION Let n N and let b t b t bn t T be a vector of uniform...
متن کاملTactics of Re nement
The re nement calculus is a modern technique of formal program development. Its application, however, may lead to long and repetitive developments. In this paper we present a language to write re nement tactics, and present examples of useful tactics. They encompass the application of several re nement laws, but can be used as a single transformation rule. Using tactics is not a novel idea, but...
متن کاملA Tool for Data Reenement
We describe a tool for data re nement based on the Re nement Calculator. The tool supports the calculational approach to data re nement. As a consequence of the program calculation, a re nement theorem is automatically derived. The operation of the tool is illustrated with a case study.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991